@inproceedings{redini2019bintrimmer,
  title={BinTrimmer: Towards static binary debloating through abstract interpretation},
  author={Redini, Nilo and Wang, Ruoyu and Machiry, Aravind and Shoshitaishvili, Yan and Vigna, Giovanni and Kruegel, Christopher},
  booktitle={International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment},
  pages={482--501},
  year={2019},
  organization={Springer International Publishing Cham}
}
